A class of simple proper Bol loops ∗ Gábor
نویسنده
چکیده
For a loop Q, we call the maps La(x) = ax,Ra(x) = xa left and right translations, respectively. These are permutations of Q, generating the left and right multiplication groups LMlt(Q),RMlt(Q) of Q, respectively. The group closure Mlt(Q) of LMlt(Q) and RMlt(Q) is the full multiplication group of Q. Just like for groups, normal subloops are kernels of homomorphisms of loops. The loop Q is simple if it has no proper normal subloop. The commutator-associator subloop Q is the smallest normal subloop of Q such that Q/Q is an Abelian group. For basic introductory reference on loops see [11]. The loop Q is a left (right) Bol loop if the identity x(y(xz)) = (x(yx))z (((xy)z)y = x((yz)y)) holds in Q. Loops which satisfy both identities are called Moufang loops. For any field F , L. J. Paige [10] constructed a simple nonassociative Moufang loop M(F ). Using the classification of finite simple groups, M. Liebeck [5] showed that the only finite simple nonassociative Moufang loops are M(Fq). The existence of finite simple non-Moufang Bol loops was considered as the one of the main open problems in the theory of loops and quasigroups, cf. [12] and [1, Question 4]. In this paper, Bol loops are left Bol loops and with proper Bol loops we mean left Bol loops which are not Moufang.
منابع مشابه
A Class of Finite Simple Bol Loops of Exponent 2
In this paper we give an infinite class of finite simple right Bol loops of exponent 2. The right multiplication group of these loops is an extension of an elementary Abelian 2-group by S5. The construction uses the description of the structure of such loops given by M. Aschbacher (2005). These results answer some questions of M. Aschbacher.
متن کاملSe p 20 07 A CLASS OF FINITE SIMPLE BOL LOOPS OF EXPONENT 2
In this paper we give an infinite class of finite simple right Bol loops of exponent 2. The right multiplication group of these loops is an extension of an elementary Abelian 2-group by S5. The construction uses the description of the structure of such loops given by M. Aschbacher [3]. These results answer some questions of M. Aschbacher.
متن کامل1 4 N ov 2 00 4 Collineation groups of the smallest Bol 3 - nets ∗ Gábor
Some associativity properties of a loop can be interpreted as certain closure configuration of the corresponding 3-net. It was known that the smallest non-associative loops with the so called left Bol property have order 8. In this paper, we determine the direction preserving collineation groups of the 3-nets belonging to these smallest Bol loops. For that, we prove some new results concerning ...
متن کاملBOL LOOPS AND BRUCK LOOPS OF ORDER pq
Right Bol loops are loops satisfying the identity ((zx)y)x = z((xy)x), and right Bruck loops are right Bol loops satisfying the identity (xy)−1 = x−1y−1. Let p and q be odd primes such that p > q. Advancing the research program of Niederreiter and Robinson from 1981, we classify right Bol loops of order pq. When q does not divide p−1, the only right Bol loop of order pq is the cyclic group of o...
متن کاملGroup Invariants of Certain Burn Loop Classes
To any loop (L, ·), one can associate several groups, for example its multiplication groups Gleft(L) and Gright(L) and M(L) = 〈Gleft(L), Gright(L)〉, the groups of (left or right) pseudo-automorphisms, group of automorphisms, or the group of collineations of the associated 3-net. Groups, which are isotope invariants are of special interest. For example, the groups Gleft(L), Gright(L) and M(L) ar...
متن کامل